Automating competence management through non-standard reasoning

Automating competence management through non-standard reasoning

Competence Management calls for automated knowledge-based services in order to take full advantage from the know-how of a company. This paper presents an integrated semantic-based knowledge management system providing decision support services for several activities typical of competence management, including Core Competence evaluation, human resources allocation, training programs planning. Kn...

Automating Proof in Non-standard Analysis

Non-standard analysis provides a framework to carry out formally calculus proofs in a much more intuitive manner than in the 2 − δ formulation of Weierstraß. This paper introduces the notions of proof-planning and rippling, and gives an example showing how they can be applied to non-standard analysis to produce readable proofs. We present the related work in the area and give an outline of the ...

Automating Default Reasoning∗

LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks

We present the saturation-based reasoning system Lethe. Lethe is a tool that can be used for uniform interpolation, forgetting, TBox abduction and logical di erence. To solve these problems, Lethe uses saturation-based reasoning to eliminate certain symbols from an ontology, such that entailments in the remaining vocabulary are preserved. This is known as forgetting or uniform interpolation. Le...

Computation and Reasoning in Automating Control Design

I describe how intelligent scientific computing techniques are used in automating the difficult task of analyzing and synthesizing complex control systems. My research has developed a novel design methodology for the synthesis of automatic controllers, together with a suite of computational tools that automatically analyze and design controllers for high-performance, global control of nonlinear...